- decision-directed DPLL
- система цифровой ФАПЧ (ЦФАПЧ) с решающей обратной связью
Англо-русский словарь промышленной и научной лексики. 2014.
decision-directed DPLL
Смотреть что такое "decision-directed DPLL" в других словарях:
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia
List of mathematics articles (D) — NOTOC D D distribution D module D D Agostino s K squared test D Alembert Euler condition D Alembert operator D Alembert s formula D Alembert s paradox D Alembert s principle Dagger category Dagger compact category Dagger symmetric monoidal… … Wikipedia
